翻訳と辞書
Words near each other
・ Artinian ideal
・ Artinian module
・ Artinian ring
・ Artinite
・ Artins
・ ArtInsights
・ Artinskian
・ Artinsky District
・ Artin–Hasse exponential
・ Artin–Mazur zeta function
・ Artin–Rees lemma
・ Artin–Schreier curve
・ Artin–Schreier theory
・ Artin–Tate lemma
・ Artin–Verdier duality
Artin–Wedderburn theorem
・ Artin–Zorn theorem
・ Artio
・ Artio Films
・ Artiocetus
・ Artiom Gaiduchevici
・ Artiom Haceaturov
・ Artiom Kiouregkian
・ Artion Poçi
・ Artiora
・ ArtiosCAD
・ Artipe
・ Artipelag
・ Artiphanes
・ Artis


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Artin–Wedderburn theorem : ウィキペディア英語版
Artin–Wedderburn theorem
In abstract algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian) 〔Semisimple rings are necessarily Artinian rings. Some authors use "semisimple" to mean the ring has a trivial Jacobson radical. For Artinian rings, the two notions are equivalent, so "Artinian" is included here to eliminate that ambiguity.〕 semisimple ring ''R'' is isomorphic to a product of finitely many ''ni''-by-''ni'' matrix rings over division rings ''Di'', for some integers ''ni'', both of which are uniquely determined up to permutation of the index ''i''. In particular, any simple left or right Artinian ring is isomorphic to an ''n''-by-''n'' matrix ring over a division ring ''D'', where both ''n'' and ''D'' are uniquely determined.
As a direct corollary, the Artin–Wedderburn theorem implies that every simple ring that is finite-dimensional over a division ring (a simple algebra) is a matrix ring. This is Joseph Wedderburn's original result. Emil Artin later generalized it to the case of Artinian rings.
Note that if ''R'' is a finite-dimensional simple algebra over a division ring ''E'', ''D'' need not be contained in ''E''. For example, matrix rings over the complex numbers are finite-dimensional simple algebras over the real numbers.
The Artin–Wedderburn theorem reduces classifying simple rings over a division ring to classifying division rings that contain a given division ring. This in turn can be simplified: The center of ''D'' must be a field K. Therefore ''R'' is a ''K''-algebra, and itself has ''K'' as its center. A finite-dimensional simple algebra ''R'' is thus a central simple algebra over K. Thus the Artin–Wedderburn theorem reduces the problem of classifying finite-dimensional central simple algebras to the problem of classifying division rings with given center.
==Examples==
Let R be the field of real numbers, C be the field of complex numbers, and H the quaternions.
* Every finite-dimensional simple algebra over R must be a matrix ring over R, C, or H. Every central simple algebra over R must be a matrix ring over R or H. These results follow from the Frobenius theorem.
* Every finite-dimensional simple algebra over C must be a matrix ring over C and hence every central simple algebra over C must be a matrix ring over C.
* Every finite-dimensional central simple algebra over a finite field must be a matrix ring over that field.
* Every commutative semisimple ring must be a finite direct product of fields.〔This is clear since matrix rings larger than 1×1 are never commutative.〕
* The Artin–Wedderburn theorem implies that a semisimple algebra over a field k is isomorphic to a finite product \prod M_(D_i) where the n_i are natural numbers, the D_i are finite dimensional division algebras over k , and M_(D_i) is the algebra of n_i \times n_i matrices over D_i. Again, this product is unique up to permutation of the factors.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Artin–Wedderburn theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.